41. Arithmetic and logic in computer systems

کتابخانه: كتابخانه مركزی و مركز اسناد دانشگاه مازندران (مازندران)

موضوع : Computer arithmetic. ; Logic programming. ;

42. Artificial intelligence in simulation

پدیدآورنده :

کتابخانه: کتابخانه مرکزی دانشگاه صنعتی امیرکبیر (تهران)

موضوع : ARTIFICIAL INTELLIGENCE-SIMULATION , PROLOG )COMPUTER PROGRAM LANGUAGE(, LOGIC PROGRAMMING

رده :
Q
335
.
F87

43. Automated deduction - A Basis for applications

پدیدآورنده :

کتابخانه: کتابخانه مرکزی و مرکز اطلاع رسانی دانشگاه بیرجند (خراسان جنوبی)

موضوع : ، Logic programming,، Logic )mathematics(

رده :
QA
76
.
63
.
A8
L6

44. Based Program Synthesis and Transformation :-Logic

کتابخانه: كتابخانه مركزی و مركز اسناد دانشگاه مازندران (مازندران)

موضوع : Logic programming ; Congresses. ;

45. CSL'87 lst workshop on computer science logic

کتابخانه: كتابخانه مركزی دانشگاه صنعتي شريف (تهران)

موضوع : ، Electronic digital computers-- Design and construction-- Congresses,، Logic design-- Computer programming-- Congresses

رده :
QA
76
.
6
.
W6
1987

46. Computational Logic in Multi-Agent Systems

کتابخانه: کتابخانه زبانهای خارجی و منابع اسلامی (قم)

موضوع : Computer Science,Mathematical Logic and Formal Languages,Programming Languages, Compilers, Interpreters,علوم کامپیوتر

رده :
E-Book
,

47. Computational intelligence for modelling, control & automation : intelligent image processing, data analysis & information retrieval

پدیدآورنده :

کتابخانه: کتابخانه مرکزی و مرکز اسناد دانشگاه شهید باهنر کرمان (کرمان)

موضوع : ، Evolutionary programming )Computer science(,، Fuzzy logic,، Automatic control,، Computational intelligence

رده :
QA
7609
.
C6
1999

48. Computational logic : logic programming and beyond : essays in honor of Robert A. Kowalski

پدیدآورنده :

کتابخانه: کتابخانه پژوهشگاه دانشهای بنیادی (تهران)

موضوع : ، Logic programming,، Automatic theorem proving,، Logic programming languages,، Kowalski, Robert

رده :
QA
76
.
L28
Vol
.
2407-2408

49. Computing in Horn Clause theories

پدیدآورنده :

کتابخانه: کتابخانه پژوهشگاه دانشهای بنیادی (تهران)

موضوع : ، Logic programming,، Horn clauses

رده :
QA
76
.
6
.
P327
1988

50. Computing in Horn clause theories

پدیدآورنده :

کتابخانه: کتابخانه مرکزی و مرکز اسناد دانشگاه شهید باهنر کرمان (کرمان)

موضوع : ، Logic programming,، Horn clauses

رده :
QA
76
.
6
.
P32
1988

51. Computing with logic : logic programming with Prolog

پدیدآورنده :

موضوع : ، Prolog )Computer program language(,، Logic programming

۲ نسخه از این کتاب در ۲ کتابخانه موجود است.

52. Conceptual graphs and fuzzy logic

پدیدآورنده :

کتابخانه: كتابخانه مركزی دانشگاه بين المللی امام خمينی (ره) قزوين (قزوین)

موضوع : Fuzzy graphs,Conceptual structures )Information theory(,Fuzzy logic,Logic programming,Computational intelligence,Begriffsgraph^aswd,Fuzzy-logisches Schliessen^aswd,Nateurliche Sprache^aswd,Ontologie ^aswd

رده :
QA
.
C35
166
.
175
2010

53. Conceptual graphs and fuzzy logic : a fusion for representing and reasoning with linguistic information

پدیدآورنده :

کتابخانه: کتابخانه پژوهشگاه دانشهای بنیادی (تهران)

موضوع : ، Fuzzy graphs,، Conceptual structures )Information theory(,، Fuzzy logic,، Logic programming,، Computational intelligence

رده :
QA
166
.
175
.
C37C6

54. Conceptual structures : broadening the base : 9th International Conference on Conceptual Structures, ICCS 2001, Stanford, CA, USA, July 30-August 3, 2001 : proceedings

پدیدآورنده :

کتابخانه: کتابخانه پژوهشگاه دانشهای بنیادی (تهران)

موضوع : Congresses ، Conceptual structures )Information theory(,Congresses ، Graph theory,Congresses ، Logic programming,Congresses ، Knowledge representation )Information theory(,Congresses ، Natural language processing )Computer science(

رده :
QA
76
.
L28
Vol
.
2120

55. Conclog : a methodological approach to concurrent logic programming

پدیدآورنده :

کتابخانه: کتابخانه پژوهشگاه دانشهای بنیادی (تهران)

موضوع : ، Logic programming

رده :
QA
76
.
L28
Vol
.
556

56. Constraint Solving and Language Processing

پدیدآورنده :

کتابخانه: مرکز و کتابخانه مطالعات اسلامی به زبان‌های اروپایی (قم)

موضوع : Artificial intelligence.,Computer logic.,Computer science.,Information retrieval.,Mathematical logic.,Programming languages (Electronic computers).,Software engineering.

57. Constraint solving and language processing : First International Workshop, CSLP 2004, Roskilde, Denmark, September 1-3, 2004 : revised selected and invited papers

پدیدآورنده :

کتابخانه: کتابخانه پژوهشگاه دانشهای بنیادی (تهران)

موضوع : Congresses ، Constraint programming )Computer science(,Congresses ، Logic programming,Congresses ، Natural language processing )Computer science(

رده :
QA
76
.
L28
Vol
.
3438

58. Constraint solving over multi-valued logics :

پدیدآورنده :

کتابخانه: مرکز و کتابخانه مطالعات اسلامی به زبان‌های اروپایی (قم)

موضوع : Constraint programming (Computer science),Digital electronics.,Many-valued logic.,COMPUTERS-- Programming-- Open Source.,COMPUTERS-- Software Development & Engineering-- General.,COMPUTERS-- Software Development & Engineering-- Tools.,Constraint programming (Computer science),Digital electronics.,Many-valued logic.

رده :
QA76
.
612
.
A94
2003eb

59. Constraints in computational logics : first International Conference, CCL'94, Munich, Germany, September 7-9, 1994 : proceedings

پدیدآورنده :

کتابخانه: کتابخانه پژوهشگاه دانشهای بنیادی (تهران)

موضوع : Congresses ، Computer programming,Congresses ، Logic, Symbolic and mathematical

رده :
QA
76
.
L28
Vol
.
845

60. Constraints in computational logics : theory and applications ; International Summer School, CCL'99 Gif-sur-Yvette, France, September 5-8, 1999 ; revised lectures

پدیدآورنده :

کتابخانه: کتابخانه پژوهشگاه دانشهای بنیادی (تهران)

موضوع : ، Constraint programming )Computer science(,، Logic programming

رده :
QA
76
.
L28
Vol
.
2002